An Extension of Dynamic Logic for Modelling OCL's @pre Operator
نویسندگان
چکیده
منابع مشابه
AN APPLICATION OF FUZZY NUMBERS TO THE ASSESSMENT OF MATHEMATICAL MODELLING SKILLS
In this paper we use the Triangular and Trapezoidal Fuzzy Numbers as tools for assessing student Mathematical Modelling (MM) skills. Fuzzy Numbers play a fundamental role in fuzzy mathematics analogous to the role played by the ordinary numbers in classical mathematics, On the other hand, MM appears today as a dynamic tool for teaching and learning mathematics, because it connects mathematics w...
متن کامل'Knowable' as 'known after an announcement'
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: ♦φ expresses that there is a truthful announcement ψ after which φ is true. Th...
متن کاملIRIT / RR – 2008 - 2 – FR ‘ Knowable ’ as ‘ known after an announcement ’
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: ♦φ expresses that there is a truthful announcement ψ after which φ is true. Th...
متن کاملDepartment of Computer Science , University of Otago
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after arbitrary announcements. Intuitively, [!]φ expresses that φ is true after an arbitrary announcem...
متن کاملDynamic MLC Tracking Using 4D Lung Tumor Motion Modelling and EPID Feedback
Background: Respiratory motion causes thoracic movement and reduces targeting accuracy in radiotherapy. Objective: This study proposes an approach to generate a model to track lung tumor motion by controlling dynamic multi-leaf collimators. Material and Methods: All slices which contained tumor were contoured in the 4D-CT images for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001